261. Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
المؤلف: Matthias Baaz, Andrei Voronkov )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Artificial intelligence,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2514
262. Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings
المؤلف: Robert Nieuwenhuis, Andrei Voronkov )eds.(
المکتبة: (طهران)
موضوع: ، Logic programming
رده :
QA
76
.
L28
Vol
.
2250
263. Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005: proceedings
المؤلف: / Geoff Sutcliffe, Andrei Voronkov (eds.)
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Logic programming,Automatic theorem proving,Artificial intelligence,-- Congresses,-- Congresses,-- Congresses
رده :
005
.
115
I61L
2005
264. Logic grammars
المؤلف: Abramson, Harvey
المکتبة: (طهران)
موضوع: ، Logic programming,، Artificial intelligence
رده :
QA
76
.
6
.
A26
1989
265. Logic grammars : with 40 illustrations
پدیدآورنده : Abramson, Harvey
موضوع : ، Logic programming,، Artificial intelligence
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
266. Logic in computer science: modelling and reasoning about systems
المؤلف: Huth, Michael
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computer logic,، Logic programming )Computer science(
رده :
QA
76
.
9
.
L63
.
H88
2004
267. Logic in databases : International Workshop LID'96 San Miniato, Italy, July 1-2, 1996: proceedings
المؤلف: Dino Pedreschi, Carlo Zaniolo )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Database management,Congresses ، Deductive databases,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1154
268. Logic, language, and computation
المؤلف: / Balder D. ten Cate, Henk W. Zeevat (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses
رده :
QA
,
76
.
9
,.
L63
,
I565
,
2005
269. Logic, language, and computation
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;
270. Logic, language, and computation :
المؤلف: Nick Bezhanishvili [and others] (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
9
.
L63
I57
2009eb
271. Logic, language, and computation
المؤلف: \ [edited by] Martin Aher...[et.al]
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L644
2015
E-Book
,
272. Logic & logic grammars for language processing
المؤلف: SAINT-DIZIER,PATRICK
المکتبة: (طهران)
موضوع: LOGIC PROGRAMMING , NATURAL LANGUAGE PROCESSING )COMPUTER
رده :
QA
76
.
63
.
L62
1990
273. Logic of Domains
المؤلف: Zhang, Guo-Qiang, 0691-
المکتبة: (طهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
274. Logic of domains
المؤلف: Zhang, Guo-Qiang
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
275. Logic program synthesis and transformation
المؤلف: / John Gallagher (ed.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic programming--Congresses
رده :
QA
,
76
.
63
,.
I57
,
1996
276. Logic program synthesis and transformation :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic programming ; Congresses ;
277. Logic program synthesis and transformation--Meta-programming in Logic, 4th International Workshops, LOPSTR'94 and META'94Pisa, Italy, June 20-21 1994 : proceedings
المؤلف: Laurent Fribourg, Franco Turini, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
883
278. Logic program synthesis and transformation - meta-programming in logic :
المؤلف: Laurent Fribourg, Franco Turini (Eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
279. Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : Proceedings
المؤلف: John Gallagher )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1207
280. Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings
المؤلف: Maurizio Proietti )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1048
